top

  Stampa - Email - Export

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email ed export.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.



monografia
POSSEDUTO
Il calcolatore universale
da Leibniz a Turing Davis, Martin, 1928-2023    Rigamonti, Gianni    Indice: Prefazione. Introduzione. 1. Il sogno di Leibniz 2. Boole trasforma la logica in algebra 3. Frege: dalla grande conquista al controllo 4. Cantor: una deviazione verso... Anno: 2003
Davis, Martin, 1928-2023
Il calcolatore universale : da Leibniz a Turing / Martin Davis ; traduzione di Gianni Rigamonti
Milano : Adelphi, c2003.
monografia
POSSEDUTO
Homage to Evangelista Torricelli's Opera Geometrica, 1644-2024
text, transcription, commentaries and selected essays as new historical insight Torricelli, Evangelista, 1608-1647    Pisano, Raffaele, 1970-    Bussotti, Paolo, 1966-    ... Indice: Pt. 1. Opera geometrica (1644): 1. Celebrating Evangelista Torricelli's Opera geometrica (1644-2024): details in history and historiography pf physics, geometry and... Anno: 2024
Torricelli, Evangelista, 1608-1647
Homage to Evangelista Torricelli's Opera Geometrica, 1644-2024 : text, transcription, commentaries and selected essays as new historical insight / Raffaele Pisano ... [et al.] ; in collaboration with Julie Robarts.
Cham : Springer, 2024.
monografia
POSSEDUTO
Pensare il mondo
Bartocci, Claudio    Odifreddi, Piergiorgio, 1950-    Glashow, Sheldon Lee, 1932-    ... Indice: Premessa / di Sheldon Lee Glashow. Elenco delle tavole fuori testo. 1. Analisi armonica / Fulvio Ricci 2. Modelli matematici, modelli numerici e applicazioni / Alfio... Anno: 2010
Pensare il mondo / direzione scientifica di Claudio Bartocci
c2010.
In: Matematica. 4
monografia
POSSEDUTO
Problemi e teoremi
Bartocci, Claudio    Odifreddi, Piergiorgio, 1950-    Manin, Yuri Ivanovitch    ... Indice: 1. Matematica e conoscenza: aspetti interni, sociali e culturali / Yuri I. Manin 2. I fondamenti dell'aritmetica / Martin Davis 3. La classificazione dei gruppi /... Anno: 2008
Problemi e teoremi / direzione scientifica di Claudio Bartocci
c2008.
In: Matematica. 2
monografia
POSSEDUTO
The universal computer
the road from Leibniz to Turing Davis, Martin, 1928-2023    Indice: Preface. Introduction. 1. Leibniz's dream 2. Boole turns logic into algebra 3. Frege: from breakthrough to despair 4. Cantor: detour through infinity 5. Hilbert to... Anno: 2000
Davis, Martin, 1928-2023
The universal computer : the road from Leibniz to Turing / Martin Davis.
New York : W.W. Norton, 2000.